Logic Programming and Logarithmic Space Clément Aubert( , Marc Bagnol( , Paolo Pistone( , Thomas Seiller (

Source URL: www.normalesup.org

Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06

Source URL: gpd.sip.ucm.es

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

C o n n e c t i n g G re a t M i n d s

Source URL: www.cin.ufpe.br

• Reasoning
• Deductive reasoning
• Programming paradigms
• Artificial intelligence
• Automated theorem proving
• Reasoning system
• Mathematical logic
• Knowledge representation and reasoning
• Computer science
• Logic programming
• Inference
• Natural deduction

1 Monadic Parser Combinators Graham Hutton University of Nottingham

Source URL: www.cs.nott.ac.uk

• Software engineering
• Computer programming
• Parsing
• Functional programming
• Formal languages
• Compiler construction
• Parser combinator
• Monad
• Recursive descent parser
• Compiler-compiler
• Combinatory logic
• Syntax

Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

Source URL: www.sci.unich.it

A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin.

Source URL: wiki.event-b.org

• Mathematics
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Set theory
• Mathematical notation
• Set-builder notation
• Substitution
• Universal quantification
• FO
• Associative property

Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Model theory
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• First-order logic
• Linear temporal logic
• FO

J. LOGIC PROGRAMMING 1994:19, 20:1{AN APPROACH TO

Source URL: gpd.sip.ucm.es

On Supporting Parallelism in a Logic Programming System V´ıtor Santos Costa1 1 CRACS and DCC-FCUP

Source URL: www.clip.dia.fi.upm.es